<HTML>
<BODY BGCOLOR="white">
<PRE>
<FONT color="green">001</FONT>    // Copyright 2005-06 Regents of the University of California.  May be used <a name="line.1"></a>
<FONT color="green">002</FONT>    // under the terms of the revised BSD license.  See LICENSING for details.<a name="line.2"></a>
<FONT color="green">003</FONT>    /** <a name="line.3"></a>
<FONT color="green">004</FONT>     * @author Adrian Mettler <a name="line.4"></a>
<FONT color="green">005</FONT>     */<a name="line.5"></a>
<FONT color="green">006</FONT>    package org.joe_e;<a name="line.6"></a>
<FONT color="green">007</FONT>    <a name="line.7"></a>
<FONT color="green">008</FONT>    /**<a name="line.8"></a>
<FONT color="green">009</FONT>     * Marker interface for annotating classes that transitively do not contain any<a name="line.9"></a>
<FONT color="green">010</FONT>     * mutable state or tokens.  Joe-E requires that classes that implement this <a name="line.10"></a>
<FONT color="green">011</FONT>     * interface meet the obligation that they do not extend Token, and that all<a name="line.11"></a>
<FONT color="green">012</FONT>     * fields must be (1) final and (2) of a declared type that implements <a name="line.12"></a>
<FONT color="green">013</FONT>     * Powerless in the overlay type system.<a name="line.13"></a>
<FONT color="green">014</FONT>     * &lt;p&gt; <a name="line.14"></a>
<FONT color="green">015</FONT>     * This interface contains no members.<a name="line.15"></a>
<FONT color="green">016</FONT>     * <a name="line.16"></a>
<FONT color="green">017</FONT>     * @see Token<a name="line.17"></a>
<FONT color="green">018</FONT>     */<a name="line.18"></a>
<FONT color="green">019</FONT>    public interface Powerless extends Immutable {<a name="line.19"></a>
<FONT color="green">020</FONT>    <a name="line.20"></a>
<FONT color="green">021</FONT>    }<a name="line.21"></a>




























































</PRE>
</BODY>
</HTML>
